;; The first four lines of this file were added by Dracula.
;; They tell DrScheme that this is a Dracula Modular ACL2 program.
;; Leave these lines unchanged so that DrScheme can properly load this file.
#reader(planet "reader.rkt" ("cce" "dracula.plt") "modular" "lang")
(interface IImage
  (sig bmp->tree (bmpBytes))
  (sig tree->bmp(tree))
  (sig getWidth(tree))
  (sig getHeight(tree))
  (sig setWidth(tree width))
  (sig setHeight(tree height))
  (sig getPixel (tree x y))
  (sig createRGB(r g b))
  (sig insertPixelAsRGBList(tree x y rgb))
  (sig insertPixel (tree x y r g b))
  (sig getNextXCoordinate (x width))
  (sig getNextYCoordinate (x y width))
  (sig getHeader(tree))
  (sig updatedHeader (tree))
  (sig isValidPixel(x y width height)))
  
  